ARM : un modèle réflexif asynchrone pour les objets répartis et réactifs
نویسندگان
چکیده
The traditional procedural approach to programming language reflection, where the connection between the base and the meta levels is of an implementation nature, is challenged by component-based, distributed and reactive systems. In all of these fields, part of the system to reflect upon cannot be captured in an “implements” relation, where the metalevel operates as a language processor (e.g. interpreter) either because we lack a centralized state or an essential ingredient lies outside the system. We introduce a novel asynchronous reflective model, ARM, where the connection between levels use an asynchronous publish/subscribe communication model. We show not only that this model is better suited to distributed and reactive systems, but that it also generalizes the possible forms of reflection by adopting and adapting to the “right combination of connection and detachment” between the base and the meta level. We present a first implementation of ARM in Java, under J2EE with JMS. MOTS-CLÉS : réflexion, publication/souscription, Java, connexion causale, adaptation dynamique.
منابع مشابه
Behavioural models for distributed Fractal components
This paper presents a formal behavioural specification framework together with its applications in different contexts for specifying and verifying the correct behaviour of distributed Fractal components. Our framework allows us to build behavioural models for applications ranging from sequential Fractal components, to distributed objects, and finally distributed components. Our models are able ...
متن کاملSpécification et vérification formelles des systèmes de composants répartis. (Formal specification and verification of distributed component systems)
ion→ abstraction id of id ’{’ abstraction de types TypeDecl∗ déclarations de type Field∗ variables locales Constructor∗ constructeurs abstraits Operator∗ opérateurs abstraits ’}’ Constructor→ Type ’(’ args ’)’ sign. du constructeur concret [ abstracted as Type ’(’ args ’)’ ’{’ Body ’}’ ] version abstraite Operator→ Type id ’(’ args ’)’ sign. du operateur concret [ abstracted as Type id ’(’ args...
متن کاملVers un modèle du raisonnement dans les langages à objets
Résumé Ce papier est une proposition de modèle du raisonnement dans les langages hybrides, intégrant un langage de programmation par objets avec des règles de production. Nous proposons de différencier entre deux catégories d'objets, les objet du monde perçu et ceux du monde conçu. Le raisonnement est alors considéré comme un processus qui crée ou modifie le monde conçu à partir d'observations ...
متن کاملDu collectif pour la satisfaction individuelle : un modèle d'auto-organisation
RÉSUMÉ. Cet article présente une approche permettant à une collectivité de s’organiser. Le modèle sous-jacent est basé sur un phénomène biologique auto-organisé observé dans des groupes de rats. Ce modèle, Hamelin, permet de spécialiser par auto-organisation une collectivité à partir de besoins répartis au sein des individus. Dans cet article, nous présentons les principes de ce modèle et nous ...
متن کاملUn modèle d'exécution réactif et interactif pour la programmation logique avec contraintes
Nous définissons un modèle d’exécution réactif et interactif pour la programmation logique avec contraintes (PLC). Ce modèle d’exécution s’appuie d’une part sur un système de transformation des dérivations CSLD pour l’ajout et le retrait de contraintes et d’atomes dans la requête, et d’autre part sur un résolveur de contraintes dynamiques supportant l’ajout et le retrait incrémental de contrain...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- L'OBJET
دوره 9 شماره
صفحات -
تاریخ انتشار 2003